- system modal
- работающий в системном режиме (недоступный для пользователей)Ant:
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Modal testing — is a form of vibration testing of an object whereby the natural (modal) frequencies, modal masses, modal damping ratios and mode shapes of the object under test are determined. A modal test consists of an acquisition phase and an analysis phase.… … Wikipedia
modal logic — mo dal log ic, n. A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation. [PJC] … The Collaborative International Dictionary of English
Modal operator — In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the formal property of being non truth functional, and is intuitively characterised by expressing a modal attitude (such… … Wikipedia
Modal analysis using FEM — The goal of modal analysis in structural mechanics is to determine the natural mode shapes and frequencies of an object or structure during free vibration. It is common to use the finite element method (FEM) to perform this analysis because, like … Wikipedia
modal logic — Formal systems incorporating modalities such as necessity, possibility, impossibility, contingency, strict implication, and certain other closely related concepts. The most straightforward way of constructing a modal logic is to add to some… … Universalium
Modal μ-calculus — In theoretical computer science, the modal μ calculus (also μ calculus, but this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding a least fixpoint operator μ and a greatest fixpoint… … Wikipedia
Modal (Musik) — Die Modi Ionisch Dorisch Phrygisch Lydisch Mixolydisch Äolisch Lokrisch Eine Kirchentonart (auch Kirchentonleiter, lat. tonus ecclesiasticus) ist eine diatonische, heptatonische, hiatuslose Tonleiter im Halbtonraum … Deutsch Wikipedia
modal system — modalinė sistema statusas T sritis automatika atitikmenys: angl. modal system vok. modales System, n rus. модальная система, f pranc. système modal, m … Automatikos terminų žodynas
Modal matrix (linear algebra) — In linear algebra, the modal matrix is used in the diagonalization process involving eigenvalues and eigenvectors.Assume a linear system of the following form:: {d over dt} X = A^* X + B^* Uwhere X is n times;1, A is n times; n , and B is n… … Wikipedia
Modal matrix — In linear algebra, the modal matrix is used in the diagonalization process involving eigenvalues and eigenvectors. Assume a linear system of the following form: where X is n×1, A is n×n, and B is n×1. X typically represents the state vector, and… … Wikipedia